Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
171	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
172	Document number: N2510=Alisdair Meredith on behalf of BSI PanelBSI Position on Lambda Functions Background Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-02-04 01:08:24 Lambda calculus Subroutines Anonymous function Functional programming Closure C++11 C++ Lambda Binary lambda calculus Software engineering Computing Computer programming
173	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
174	PDF Document Add to Reading List Source URL: socrates.berkeley.edu Language: English - Date: 2001-12-29 10:54:18 Representation theory Symbol Mathematics Holomorphic functional calculus Spectral theory Theory of computation Operator theory
175	On Dynamical Properties of Neural Networks Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Neural networks Optimal control Stochastic control Spectral theory Holomorphic functional calculus Cellular neural network Statistics Control theory Cybernetics
176	Regulated functions and the regulated integral Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:54:29 Regulated integral Regulated function Mean value theorem Continuous function Banach algebra Functional analysis Infinite-dimensional holomorphy Holomorphic functional calculus Mathematical analysis Mathematics Fourier analysis
177	Javascript to Scheme Compilation Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Subroutines Data types Cross-platform software Lambda calculus Functional programming JavaScript Closure Anonymous function Apply Software engineering Computing Computer programming
178	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
179	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
180	Banach algebras Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:17:06 Spectral theory Spectrum Banach algebra Holomorphic functional calculus Holomorph Banach space Gelfand–Mazur theorem Lambda calculus Compact operator Mathematical analysis Mathematics Abstract algebra

UPDATE